-
1 type system
система типов [данных]Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > type system
-
2 type system
Программирование: система типов (Система типов и операций над объектами этих типов. Проверка типа позволяет убедиться в том, что затребованная операция над данными типами допустима. Скажем, функцию необходимо вызывать с аргументами подходящих типов) -
3 type system
-
4 type system
система типовСистема типов и операций над объектами этих типов. Проверка типа позволяет убедиться в том, что затребованная операция над данными типами допустима. Скажем, функцию необходимо вызывать с аргументами подходящих типов. -
5 secondary grid-type system
вторичная распределительная сеть
распределительная сеть низкого напряжения
—
[Я.Н.Лугинский, М.С.Фези-Жилинская, Ю.С.Кабиров. Англо-русский словарь по электротехнике и электроэнергетике, Москва, 1999 г.]Тематики
- электротехника, основные понятия
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > secondary grid-type system
-
6 nominative type system
в программировании - основной вид системы типов, в которой совместимость и эквивалентность типов определяется явными объявлениями и/или именами типов. Номинативные системы позволяют определить, являются ли типы эквивалентными, а также является ли данный тип подтипом другого типа, - в отличие от структурных систем, где сравнения базируются на структуре рассматриваемых типов и не требуют явных объявлений типовАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > nominative type system
-
7 cell-type system
English-Russian big polytechnic dictionary > cell-type system
-
8 matrix-type system
inquiry/response system — система "запрос-ответ"
English-Russian big polytechnic dictionary > matrix-type system
-
9 displacement type system
English-Russian big medical dictionary > displacement type system
-
10 home-type system
English-Russian dictionary of telecommunications and their abbreviations > home-type system
-
11 transformation of type system to instance system
Программирование: процесс перехода от системы типов к системе экземпляровУниверсальный англо-русский словарь > transformation of type system to instance system
-
12 transition from type system to instance system
Программирование: переход от системы типов к системе экземпляровУниверсальный англо-русский словарь > transition from type system to instance system
-
13 cell-type system
1. гибкая производственная система, ГПС
2. гибкий производственный модуль, ГПМ
3. гибкий автоматизированный участок, ГЛУБольшой англо-русский и русско-английский словарь > cell-type system
-
14 ladder-type system
Большой англо-русский и русско-английский словарь > ladder-type system
-
15 cell-type system
3) гибкий автоматизированный участок, ГЛУАнгло-русский словарь технических терминов > cell-type system
-
16 C-type system
Медицинская техника: система типа C (аппаратура классов защиты I или II, обеспечивающая самую высокую степень электробезопасности, допускающую, напр. внутрисердечное вмешательство) -
17 Common Type System
Вычислительная техника: обобщённая система типизации -
18 air-type system
1) Солнечная энергия: воздушная система2) Макаров: воздушная система (отопления) -
19 block-type system
Макаров: блочная система -
20 cell-type system
1) Техника: ГАУ, ГПМ, ГПС, гибкая производственная система, гибкий автоматизированный участок, гибкий производственный модуль2) Механика: гибкая система производства3) Автоматика: гибкий производственный участок4) Макаров: гибкий производственный модуль, ГП-модуль, гибкий производственный модуль (ГП-модуль, ГПМ), ГП-модуль (гибкий производственный модуль, ГПМ)
См. также в других словарях:
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type system of the Royal Navy — The Type system is a classification system used by the British Royal Navy to classify surface escorts by function. The system evolved in the early 1950s, when the Royal Navy was experimenting with building single purpose escort vessels with… … Wikipedia
Nominative type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
type system — noun A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact … Wiktionary
Common Type System — In Microsoft s .NET Framework, the Common Type System (CTS) is a standard that specifies how Type definitions and specific values of Types are represented in computer memory. It is intended to allow programs written in different programming… … Wikipedia
Structural type system — A structural type system is a major class of type system, in which type compatibility and equivalence are determined by the type s structure, and not through explicit declarations. Structural systems are used to determine if types are equivalent … Wikipedia
Common Type System — (сокр. CTS, рус. Стандартная система типов) часть .NET Framework, формальная спецификация, определяющая, как какой либо тип (класс, интерфейс, структура, встроенный тип данных) должен быть определён для его правильного выполнения средой .NET.… … Википедия
Linear type system — A linear type system is a particular form of type system used in a programming language. Linear type systems allow references but not aliases. To enforce this, a reference goes out of scope after appearing on the right hand side of an assignment … Wikipedia
Saffron Type System — The Saffron Type System is a system for rendering high quality scalable type on digital displays. Developed by Mitsubishi Electric Research Laboritories (MERL), Saffron is built on a core of Adaptively Sampled Distance Field (ADF) technology.… … Wikipedia
Pure type system — In proof and type theory, a pure type system is a form of typed lambda calculus that obscures the distinction between types and terms and collapses the type hierarchy. It can be seen as a generalisation of Barendregt s lambda cube, and therefore… … Wikipedia
Common type system — (CTS, Стандартная система типов) часть .NET Framework, формальная спецификация, определяющая, как какой либо тип (класс, интерфейс, структура, встроенный тип данных) должен быть определён для его правильного выполнения средой .NET … Википедия